En matemàtiques, la forma Killing, anomenada així en honor a Wilhelm Killing, és una forma bilineal simètrica que juga un paper bàsic en les teories dels grups de Lie i les àlgebres de Lie. Els criteris de Cartan (criteri de solubilitat i criteri de semisimplicitat) mostren que Killing form té una estreta relació amb la semisimplicitat de les àlgebres de Lie. [1] [2]